$\forall$$a$, $b$:$\mathbb{Z}$. ($a$ $\sim$ $b$) $\Rightarrow$ $a$ $\mid$ $b$